_require "basis.smi"
structure Main =
struct
  val doit : unit -> bool array array
end
